41. Formal specification and software development
Author: Bjorner, Dines, 7391-
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Computer software -- Development,، Programming languages )Electronic computers(
Classification :
QA
76
.
6
.
B575
42. Formal specification of interactive graphics programming languages
Author: Mallgren, William Roberts
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Computer graphics
Classification :
T
385
.
M34
1983
43. Formal specification of interactive graphics programming languages
Author: / William R. Mallgren
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Programming languages (Electronic computers)- Computer graphics
Classification :
T385
.
M34
1983
44. Formal syntax and semantics of Java
Author: Jim Alves-Foss )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Java )Computer program language(,، Programming languages )Electronic computers( -- Semantics
Classification :
QA
76
.
L28
Vol
.
1523
45. Formal syntax and semantics of Java
Author: / Jim Alves-Foss (ed.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Java (Computer program language),Programming languages (Electronic computers)--Semantics
Classification :
QA
,
76
.
73
,.
J38
,
F67
,
1999
46. Formal syntax and semantics of Java
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Java (Computer program language) ; Programming languages (Electronic computers) ; Semantics ;
47. Formal syntax and semantics of programming languages :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Programming languages (Electronic computers) ; Syntax. ;
48. Formal syntax and semantics of programming languages
Author: / Kenneth Slonneger, Barry L. Kurtz
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Programming languages (Electronic computers)--Syntax,Programming languages (Electronic computers)--Semantics
Classification :
QA
,
76
.
7
,.
S59
,
1995
49. Formal syntax and semantics of programming languages : a laboratory based approach
Author: Slonneger, Kenneth.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Programming languages )Electronic computers( - Syntax , Programming languages )Electronic computers( - Semantics
Classification :
QA
76
.
7
.
S59
1995
50. From Point to Pixel:
Author: Hoy, Meredith Anne
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
51. Grammars and automata for string processing: from mathematics and computer science to biology, and back
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science,، Programming languages )Electronic computers(-- Mathematics,، Mathematical linguistics,، Formal languages
Classification :
QA
76
.
G64
2003
52. Grammars and automata for string processing : from mathematics and computer science to biology, and back
Author: edited by Carlos Martin-Vide and Victor Mitrana
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Mathematics ، Computer science,Mathematics ، Programming languages )Electronic computers(,، Mathematical linguistics,، Formal languages,، Molecular biology,، Paun, Gheorghe, 0591-
Classification :
QA
76
.
G69
53. Introduction a la theorie des langages
Author: Moreau, Rene
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Formal languages,، Programming languages )Electronic computers(
Classification :
QA
267
.
3
.
M67
54. It's all about coordination :
Author: Frank de Boer, Marcello Bonsangue, Jan Rutten (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer multitasking.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Parallel processing (Electronic computers),Artificial intelligence.,Computer modelling & simulation.,Computer multitasking.,Computer programming-- software development.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Parallel processing (Electronic computers),Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
58
.
I87
2018eb
55. Languages and tools for hybrid systems design /
Author: Luca P. Carloni [and others].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Hybrid computers-- Programming.,Hybrid systems-- Computer simulation.,Hybrid systems-- Design-- Data processing.,Hybrid systems-- Mathematical models.,Programming languages (Electronic computers),System analysis-- Computer programs.,Hybrid computers-- Programming.,Programming languages (Electronic computers),System analysis-- Computer programs.,TECHNOLOGY & ENGINEERING-- Automation.
Classification :
QA76
.
7
.
L36
2006
56. Larch
Author: John V. Guttag, James J. Horning ; with S.J. Garland ... ]et al.[
Library: Vali Asr University Central Library (Kerman)
Subject: Electronic digital computers -- Programming,Computer software -- Development,Larch )Computer program language(
Classification :
QA
76
.
6
.
H66
1993
57. Larch
Author: John V. Guttag, James J. Horning ; with S.J. Garland ... ]et al.[
Library: Vali Asr University Central Library (Kerman)
Subject: Electronic digital computers -- Programming,Computer software -- Development,Larch )Computer program language(
Classification :
QA
76
.
6
.
H66
1993
58. Logic, language, and computation :
Author: Nick Bezhanishvili [and others] (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational linguistics, Congresses,Computer logic, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses
Classification :
QA76
.
9
.
L63
I57
2009eb
59. Logic program synthesis and transformation - meta-programming in logic :
Author: Laurent Fribourg, Franco Turini (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming -- Congresses.,Logic programming.,Programming languages (Electronic computers) -- Congresses.
60. Mathematical Foundations of Computer Science 1986 :
Author: edited by Jozef Gruska, Branislav Rovan, Juraj Wiedermann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Logic design.
Classification :
QA267
.
E358
1986
